mcsta

Benchmark
Model:vgs v.1 (MA)
Parameter(s)NR_VARIANT = 5, TIME_BOUND = 10000
Property:MinExpTimeFailed (exp-time)
Invocation (default)
mcsta/modest mcsta vgs.5.jani -E TIME_BOUND=10000 --props MinExpTimeFailed -O out.txt Minimal --unsafe --es -S Memory --epsilon 0
Execution
Walltime:600.2361357212067s
Return code:0
Note(s):Unable to obtain tool result.
Log
vgs.5.jani:model: info: DftToGspnTransformation is an MA model.
vgs.5.jani: info: Need 152 bytes per state.
STDERR
The Modest Toolset (www.modestchecker.net), version v3.1.42-gb5e9d523c.